Fix bug #13723 with redrawing vertical border in GUI sessions.
authorEli Zaretskii <eliz@gnu.org>
Sun, 17 Feb 2013 16:22:11 +0000 (18:22 +0200)
committerEli Zaretskii <eliz@gnu.org>
Sun, 17 Feb 2013 16:22:11 +0000 (18:22 +0200)
commit4c3527a049dd65a72445fc517d9a8d04d1767021
treea186f74f365cf5a43fd1bef5d665e59127acd3c8
parent01ae816b3c46e056c59a485379e63d53453ae960
Fix bug #13723 with redrawing vertical border in GUI sessions.

 src/xdisp.c (x_draw_vertical_border): For a window that is neither
 the leftmost nor the rightmost, redraw both the left and the right
 vertical borders.
src/ChangeLog
src/xdisp.c